Towards practical formal verification of cryptographic protocol specifications and implementations
- Författare
- Linköpings universitet Johannes Wilson
- (Johannes Wilson., Sammanfattning jämte 3 uppsatser, Licentiatavhandling Linköping : Linköpings universitet, 2025)
- Genre
- Avhandlingar, theses
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Linköping University, Department of Computer and Information Science | 2025 | Sverige, Linköping | xi, 125 sidor illustrationer | 978-91-8075-962-5 |